1. Language, proof, and logic
پدیدآورنده : \ Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic.,منطق
رده :
BC
61
.
B32L32
1999
E
.
Book
,
2. Language, proof, and logic
پدیدآورنده : / Jon Barwise & John Etchemendy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC61
.
B38
2002
3. Language, proof, and logic
پدیدآورنده : / Jon Barwise & John Etchemendy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC61
.
B38
2002
4. Tarski's world /
پدیدآورنده : Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Tarski's world,First-order logic
رده :
BC128
.
B35
2008
